1
Las bases del conteo
MATH002Lesson 6
00:00
Contar es el arte de determinar el tamaño de conjuntos finitos sin el tedioso trabajo de enumeración física. Al aprovechar estructuras lógicas, podemos resolver problemas que van desde combinaciones simples de menús hasta permutaciones criptográficas complejas.

La lógica del "O" y el "Y"

Dos pilares sustentan todo el campo de la combinatoria. Su aplicación depende totalmente de si vemos una tarea como una única elección entre múltiples categorías o como una secuencia de elecciones.

El principio de adición (regla de suma)

Si un conjunto $X$ se divide en subconjuntos disjuntos $X_1, X_2, \dots, X_n$, entonces el número total de elementos $|X|$ es la suma de los tamaños de esos subconjuntos:

$$|X| = |X_1| + |X_2| + \dots + |X_n|$$

Analogía: Elegir una comida en Kay's Quick Lunch eligiendo un sándwich del menú de platos principales O un aperitivo del menú de aperitivos. No puedes tener ambos; eliges un solo artículo.

El principio de multiplicación (regla del producto)

Si una actividad consta de $t$ pasos sucesivos, donde el paso $i$ tiene $n_i$ resultados posibles, el número total de formas de completar la tarea es el producto de las posibilidades en cada paso:

$$N = n_1 \times n_2 \times \dots \times n_t$$

Analogía: Configurar un camión "Big Pickup". Debes elegir un motor (5 opciones) Y un estilo de cabaña (3 opciones). El número total de configuraciones es $5 \times 3 = 15$.

Implementación en código y complejidad

En informática, estos principios se manifiestan en estructuras de bucles. Los bucles secuenciales representan el principio de adición, mientras que los bucles anidados representan el principio de multiplicación.

// Principio de adición (m + n ejecuciones)
para i = 1 hasta m: imprimirln(i)
para j = 1 hasta n: imprimirln(j)

// Principio de multiplicación (m * n ejecuciones)
para i = 1 hasta m:
para j = 1 hasta n:
imprimirln(i, j)
🎯 Principio fundamental
Distinga por palabras clave: "O" significa adición (elecciones mutuamente excluyentes), mientras que "Y" o "sucesivos" significan multiplicación (pasos independientes en una secuencia).